Demostración automática de teoremas

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "Demostración automática de teoremas" sur Wikipédia en espagnol a 14.5 points pour la qualité (au 1 août 2024). L'article contient 0 références et 10 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Demostración automática de teoremas", son contenu a été rédigé par 35 utilisateurs enregistrés de Wikipédia en espagnol et édité par 433 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 51 fois dans Wikipédia en espagnol et cité 1209 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (espagnol): n° 6625 en août 2008
• Mondial: n° 159 en novembre 2001

Le classement de popularité le plus élevé depuis 2008:

• Local (espagnol): n° 51454 en février 2010
• Mondial: n° 76366 en août 2008

Il existe 18 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Automated theorem proving		39.4863
2	portugais (pt) Prova automática de teoremas		34.3326
3	japonais (ja) 自動定理証明		22.9521
4	italien (it) Dimostrazione automatica di teoremi		20.3953
5	serbe (sr) Automatsko dokazivanje teorema		20.1405
6	espagnol (es) Demostración automática de teoremas		14.509
7	basque (eu) Teoremen frogapen automatiko		11.4527
8	polonais (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	russe (ru) Автоматическое доказательство		8.8433
10	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		8.2056

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Demostración automática de teoremas" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		1 013 140
2	espagnol (es) Demostración automática de teoremas		161 826
3	japonais (ja) 自動定理証明		97 457
4	russe (ru) Автоматическое доказательство		84 998
5	polonais (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chinois (zh) 自動化定理證明		33 880
7	français (fr) Démonstration automatique de théorèmes		29 520
8	portugais (pt) Prova automática de teoremas		19 296
9	italien (it) Dimostrazione automatica di teoremi		11 984
10	persan (fa) اثبات قضیه خودکار		11 542

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Demostración automática de teoremas" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		4 735
2	japonais (ja) 自動定理証明		374
3	russe (ru) Автоматическое доказательство		227
4	chinois (zh) 自動化定理證明		216
5	espagnol (es) Demostración automática de teoremas		118
6	italien (it) Dimostrazione automatica di teoremi		99
7	français (fr) Démonstration automatique de théorèmes		92
8	polonais (pl) Automatyczne dowodzenie twierdzeń		70
9	persan (fa) اثبات قضیه خودکار		58
10	serbe (sr) Automatsko dokazivanje teorema		56

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Demostración automática de teoremas" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Automated theorem proving		214
2	espagnol (es) Demostración automática de teoremas		35
3	français (fr) Démonstration automatique de théorèmes		27
4	japonais (ja) 自動定理証明		27
5	polonais (pl) Automatyczne dowodzenie twierdzeń		25
6	russe (ru) Автоматическое доказательство		22
7	italien (it) Dimostrazione automatica di teoremi		19
8	portugais (pt) Prova automática de teoremas		16
9	chinois (zh) 自動化定理證明		13
10	ukrainien (uk) Автоматизоване доведення теорем		9

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Demostración automática de teoremas" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	serbe (sr) Automatsko dokazivanje teorema		1
2	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		0
3	anglais (en) Automated theorem proving		0
4	espagnol (es) Demostración automática de teoremas		0
5	basque (eu) Teoremen frogapen automatiko		0
6	persan (fa) اثبات قضیه خودکار		0
7	français (fr) Démonstration automatique de théorèmes		0
8	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italien (it) Dimostrazione automatica di teoremi		0
10	japonais (ja) 自動定理証明		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Demostración automática de teoremas" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Automated theorem proving		729
2	chinois (zh) 自動化定理證明		75
3	russe (ru) Автоматическое доказательство		68
4	japonais (ja) 自動定理証明		55
5	français (fr) Démonstration automatique de théorèmes		54
6	espagnol (es) Demostración automática de teoremas		51
7	ukrainien (uk) Автоматизоване доведення теорем		38
8	polonais (pl) Automatyczne dowodzenie twierdzeń		33
9	portugais (pt) Prova automática de teoremas		26
10	persan (fa) اثبات قضیه خودکار		23

Plus...

#	Langue	Valeur
az	azerbaïdjanais Teoremlərin avtomatik sübutu
en	anglais Automated theorem proving
es	espagnol Demostración automática de teoremas
eu	basque Teoremen frogapen automatiko
fa	persan اثبات قضیه خودکار
fr	français Démonstration automatique de théorèmes
hy	arménien Թեորեմների ավտոմատացված ապացուցում
it	italien Dimostrazione automatica di teoremi
ja	japonais 自動定理証明
ko	coréen 자동 정리 증명
pl	polonais Automatyczne dowodzenie twierdzeń
pt	portugais Prova automática de teoremas
ru	russe Автоматическое доказательство
sr	serbe Automatsko dokazivanje teorema
th	thaï การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turc Otomatik teorem kanıtlama
uk	ukrainien Автоматизоване доведення теорем
zh	chinois 自動化定理證明

Meilleur rang

espagnol: n° 51454 02.2010

Mondial: n° 76366 08.2008

Meilleur rang

espagnol: n° 6625 08.2008

Mondial: n° 159 11.2001

Au 10 octobre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Han Kang, Lyle et Erik Menendez, Rafael Nadal, Sean Combs, George Baldock, Ratan Tata, ouragan Katrina, Ouragan Milton, Joker: Folie à Deux, Ethel Kennedy.

Sur Wikipédia en espagnol, les articles les plus populaires ce jour-là étaient: Gloria Gaynor, Celestún, Lyle y Erik Menéndez, Día de la Resistencia Indígena, Rafael Nadal, Estadio Municipal de El Alto, Día de la Raza, Han Kang, Clasificación de Conmebol para la Copa Mundial de Fútbol de 2026, Cristóbal Colón.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information